Method for constructing an n-qubit fault tolerant encode for any k-qubit quantum gate, M, in any given quantum code [n, k, C]

ABSTRACT

A method for constructing an n-qubit fault tolerant encode for any k-qubit quantum gate M, in any given quantum code [n, k, C], comprising: choosing a number n−k of independent spinors S r  from the first stabilizer C and a first ordered set S C  consists of the independent spinors S r ; choosing a number n−k of independent spinors Ŝ r  from a second stabilizer Ĉ in the intrinsic coordinate and a second ordered set Ŝ r  consists of the independent spinors Ŝ r  consist; implementing an encoding Q en , wherein the encoding Q en  converts the first ordered set S C  to the second ordered set S Ĉ , wherein the encoding Q en  is a sequential product provided by sequential operations of a number n−k of unitary operators Q r ; wherein each of the unitary operator Q r  is composed of a single s-rotation or a product of two s-rotations; and wherein the encoding Q en  converts and maps the r th  independent spinor S r  in the first ordered set S C  to the r th  independent spinor Ŝ r  in the second ordered set S Ĉ  correspondingly; a fault tolerant action Û in the quantum code [n, k, C] generated by the second stabilizer Ĉ in the intrinsic coordinate, wherein the fault tolerant action Û is a direct sum of a basis state operator Λ and a correction operator Ω; and acquiring a fault tolerant encode in the quantum code [n, k, C] generated by the first stabilizer C, wherein the fault tolerant encode is a sequential product of the encoding Q en , the fault tolerant action Û and a complex conjugate Q en   †  of the encoding Q en .

RELATED APPLICATIONS

The present application claims the priority of U.S. Provisional Patent Application No. 63/105,999, filed on Oct. 27, 2020, and U.S. Provisional Patent Application No. 63/121,305, filed on Dec. 4, 2020, the disclosures of both of which are hereby incorporated by reference herein in its entirety.

BACKGROUND OF THE INVENTION 1. Field of the Invention

The present disclosure generally relates to a method for constructing an n-qubit fault tolerant encode, particularly, to a method for constructing an n-qubit fault tolerant encode for any k-qubit quantum gate, M, in any given quantum code [n, k, C].

2. Description of the Related Art

Quantum computers is theoretically proven to have greater computational power than their classical counterparts. However, the realization of this superiority at hardware level relies heavily on the capability to perform large-scale computations in an error-prone environment. Fault tolerance computation is a crucial role in scalable quantum computing. In current attempts of realizing fault tolerance quantum computation, transversal encodes of a restricted universal set of gates in limited codes are the main focus; however, this induces a substantial overhead.

Therefore, it is an urgent problem to be solved in this industry that how to provide a method enabling to realize fault tolerance computation in scalable quantum computing.

SUMMARY OF THE INVENTION

In light of solving the foregoing problems of the prior art, the present inventive concept provides a method for constructing an n-qubit fault tolerant encode for any k-qubit quantum gate M in any given quantum code [n, k, C], wherein the C is defined as a first stabilizer which is a k-th maximal bi-subalgebra; the quantum code [n, k, C], a Quotient Algebra Partition (QAP), is consisting of a number 2^(n+k) of cosets of the first stabilizer C; the cosets of the first stabilizer C is able to group into a number 2^(n−k) of blocks Γ_(α), wherein each of the blocks Γ_(α) consists of 2^(2k) cosets of the first stabilizer C with same syndrome α; and the quantum code [n, k, C] is used for detecting and correcting chosen errors from different blocks Γ_(α), and the errors are collected as an error set ε.

The method of the present inventive concept comprises:

(1) choosing a number of n−k of independent spinors S_(r) from the first stabilizer C and a first ordered set S_(C) consists of the independent spinors S_(r);

(2) choosing a number of n−k of independent spinors Ŝ_(r) in a second stabilizer Ĉ, the one in the intrinsic coordinate, and a second ordered set S_(Ĉ) consists of the independent spinors Ŝ_(r) in the intrinsic coordinate;

(3) implementing an encoding Q_(en), wherein the encoding Q_(en) converts the first ordered set S_(c) to the second ordered set S_(Ĉ), and transforms the first stabilizer C to the second stabilizer Ĉ in the intrinsic coordinate, wherein the code [n, k, C] is converted to [n, k, Ĉ] in the intrinsic coordinate; wherein the encoding Q_(en) is a sequential product provided by sequential operations of a number n−k of unitary operators Q_(r); wherein each of the unitary operator Q_(r) is composed of a single s-rotation or a product of two s-rotations; and wherein the encoding Q_(en) converts and maps the r^(th) independent spinor S_(r) in the first ordered set S_(C) to the r^(th) independent spinor Ŝ_(r) in the second ordered set S_(Ĉ) correspondingly;

(4) a fault tolerant action Û in the quantum code [n, k, C] generated by the second stabilizer Ĉ in the intrinsic coordinate, wherein the fault tolerant action Û is a direct sum of a basis state operator Λ and a correction operator Ω; and

(5) acquiring a fault tolerant encode in the quantum code [n, k, C] generated by the first stabilizer C, wherein the fault tolerant encode is a sequential product of the encoding Q_(en), the fault tolerant action Û and a complex conjugate Q_(en) ^(†) of the encoding Q_(en). The fault tolerant encode obeys two criteria, wherein one of the criteria is eigen-invariance that every codeword state is still a codeword after applying the encode, and the other one of the criteria is error-correctable that each corrupted state is a linear superposition of correctable states in [n, k, C] after applying the encode.

In an embodiment of the present inventive concept, the first stabilizer C is composed of 2^(n−k) n-qubit spinors, wherein the n-qubit spinors are able to commute with each other.

In an embodiment of the present inventive concept, the basis state operator Λ is composed of a direct product by a single basis state projection operator and a k-qubit quantum gate M.

In an embodiment of the present inventive concept, the correction operator Ω is composed of 2^({2(n−k)}) submatrices M_(αβ).

In an embodiment of the present inventive concept, the correction operator Ω is obtained by a method, including:

transforming each correctable error E_(τ) of a correctable error set ε by the encoding Q_(en) to a coset of error of each correctable error E_(τ) in the second stabilizer Ĉ in the intrinsic coordinate, wherein the coset of error is a k-qubit spinor

_(τ);

building a first complete set P_(in) in the second stabilizer Ĉ in the intrinsic coordinate, wherein the first complete set P_(in) is consisting of a unique input coset

_(β) solely chosen from every block Γ_(α), and the first complete set P_(in) contains all the spinors

_(r);

building a second complete set P_(out) in the second stabilizer Ĉ in the intrinsic coordinate, wherein the second complete set P_(out) is consisting of a unique output coset

_(α) solely chosen from every block Γ_(α);

formulating a transfer amplitude T; and

wherein each of the submatrices M_(αβ) of the encoding Q_(en) represents as a sequential product by entries of the submatrices M_(αβ) (x_(αβ)), the output coset

_(α), the k-qubit quantum gate M and the input coset

_(β).

In an embodiment of the present inventive concept, wherein the transfer amplitude T is a 2^(n)×2^(n) unitary matrix.

In an embodiment of the present inventive concept, the entries x_(αβ) of the unitary matrix fulfills a relation which is x_(0β)=x_(α0)=0.

Compared to the conventional prior art, the present inventive concept allows fault tolerant encodes of an arbitrary action in every error-correcting code, which differs from existing approaches of building encodes for a very few actions in very limited choices of quantum codes. Specifically, fault tolerant encodes of an arbitrary k-qubit action can be constructed in every quantum code [n, k, C] of length n k with the stabilizer C, an algebraic structure consisting of commuting error-detection operators.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 is a diagrammatic illustration according to the present inventive concept.

DETAILED DESCRIPTION

The present inventive concept is described by the following specific embodiments. Those with ordinary skills in the arts can readily understand other advantages and functions of the present inventive concept after reading the disclosure of this specification. Any changes or adjustments made to their relative relationships, without modifying the substantial technical contents, are also to be construed as within the range implementable by the present inventive concept.

Moreover, the word “exemplary” or “embodiment” is used herein to mean serving as an example, instance, or illustration. Any aspect or design described herein as exemplary or an embodiment is not necessarily to be construed as preferred or advantageous over other aspects or designs. Rather, use of the word “exemplary” or “embodiment” is intended to present concepts and techniques in a concrete fashion.

As used in this application, the term “or” is intended to mean an inclusive “or” rather than an exclusive “or.” That is, unless specified otherwise or clear from context, “X employs A or B” is intended to mean any of the natural inclusive permutations. That is, if X employs A; X employs B; or X employs both A and B, then “X employs A or B” is satisfied under any of the foregoing instances. In addition, the articles “a” and “an” as used in this application and the appended claims should generally be construed to mean “one or more,” unless specified otherwise or clear from context to be directed to a singular form.

Furthermore, as used in this application, the term “first” or “second” is meant to distinguish the objects in different coordinates, e.g., the second stabilizer, Ĉ, as a stabilizer in the intrinsic coordinate, and is not meant to limit the scope of the invention in any way.

Please refer to FIG. 1. The present inventive concept provides a method for constructing an n-qubit fault tolerant encode for any k-qubit quantum gate M in any given quantum code [n, k, C], wherein the C is defined as a first stabilizer; the quantum code [n, k, C] is consisting of a number 2^(n+k) of cosets of the first stabilizer C; the cosets of the first stabilizer C is able to group into a number 2^(n+k) of blocks Γ_(α), wherein each of the blocks Γ_(α) consists of 2^(2k) cosets of the first stabilizer C with same syndrome α; and the quantum code [n, k, C] is used for detecting and correcting chosen errors from different blocks Γ_(α), and the errors are collected as an error set ε.

The method of the present inventive concept comprises:

(1) choosing a number of n−k of independent spinors from the first stabilizer C and a first ordered set S_(C) consists of the independent spinors S_(r);

In the embodiment, the first ordered set S_(C) is given as follows.

S _(C)={S _(α) _(r) ^(ζ) ^(r) : r=1, 2, . . . , n−k} (Eq. 1)

is chosen from the first stabilizer C ⊂ su(2^(n)), which is the seed to generate the structure of quotient algebra partition (QAP) inherited by the quantum code [n, k, C]. The syndrome of a spinor

_(β) ^(η)∈ su(2^(n)) with respect to S_(C) is an (n−k)-digit binary string τ=∈₁∈₂ . . . ∈_(n−k) orderly concatenated by the parties ∈_(r)=η·α_(r)+ζ_(r)·β ∈ Z₂.

In the present inventive concept, the first stabilizer C of a first stabilizer code [n, k, C] is a k-th maximal bi-subalgebra of a Cartan subalgebra

⊂ su(2^(n)), and a k-th maximal bi-subalgebra

^([k]) of

corresponds to the stabilizer of the first stabilizer code [n, k, C].

In the present inventive concept, the stabilizer quantum code denoted as [n, k, C]={

(C)} is a Quotient Algebra Partition (QAP) generated by a k-th maximal bi-subalgebra C of a Cartan subalgebra in su(2^(n)).

The independence among spinors is referred to as being independent under the bi-addition. When the syndrome of a spinor is addressed, an ordered set S_(C) of detection operators is assumed. By tagging the feature of syndrome on each spinor in a partition, a refined version of closure emerges.

In the present inventive concept, an ordered set of a number n−k of independent spinors S_(C)={S_(r): r=1, 2, . . . , n−k} are given, which is from a k-th maximal bi-subalgebra C of a Cartan subalgebra in su(2^(n)), the space of n-qubit states admits a decomposition

=⊕_(τ∈Z) ₂ _(n−k)

_(τ), where each

_(τ), formed by states |ψ

satisfying S_(r)|ψ>=(−1)^(∈) ^(r) |ψ), is an eigen-invariant subspace of C with the syndrome τ=∈₁∈₂ . . . ∈_(n−k), ∈_(r) ∈ Z₂, and also an invariant subspace of the seed block Γ₀, i.e., Γ₀(

_(τ)) ⊂

_(τ); moreover, the duality Γ_(v)(

_(τ)) ⊂

_(τ+v) holds for every block Γ_(v) and subspace

_(τ), v ∈ Z₂ ^(n−k).

In a partition [n, k, C], the orthogonality condition

ψ_(0,j) |S _(u,v) S _(τ,μ)|ψ_(0,i)

=χδ _(vτ)δ_(ji)   (Eq. 2)

holds for basis codewords |ψ_(0,i)

and |Ψ_(0,j)

, and two spinors S_(τ,μ)∈

_(τ,μ) and S_(u,v) ∈

_(u,v) either in distinct blocks Γ_(τ) and Γ_(v), τ≠v, or in a same coset

_(τ=v,μ=v) of block Γ_(τ=v) with χ=±1 or ±i, τ, v ∈ Z₂ ^(n−k), μ, v ∈ Z₂ ^(2k) and i,j ∈ Z₂ ^(k).

In a partition [n, k, C], the concept a spinor is a coset spinor conveys two implications, the correction equivalence that an error is correctable by any member in a same coset, and the code degeneracy that a correctable error set allows spinors in a same coset. (2) choosing a number of n−k of independent spinors Ŝ_(r) in a second stabilizer Ĉ in the intrinsic coordinate Ĉ and a second ordered set S_(Ĉ) consists of the second independent spinors Ŝ_(r) in the intrinsic coordinate;

In the present inventive concept, the second ordered set S_(Ĉ)

S _(Ĉ) ={S ₀ ^(η) ^(r) ∈ su(2^(n)): η_(r)=ζ_(r) ∘ 0 ∈ Z ₂ ^(n), ζ_(r) ∈ Z ₂ ^(n−k), 1≤r≤n−k}

is prepared from the intrinsic coordinate Ĉ in the intrinsic coordinate.

In the present inventive concept, to prepare fault tolerant encodes in a partition, a special coordinate is required.

The intrinsic Cartan subalgebra

_([0])={

₀ ^(ξ): ξ ∈ Z₂ ^(n)}  (Eq. 3)

is a maximal abelain subalgebra of su(2^(n)) composed of diagonal spinors of n qubits. The set of phase strings {ξ} from

_([0]) assembles the group Z₂ ^(n) under the bitwise addition.

A bi-subalgebra C={

₀ ^(ξ)} is a diagonal bi-subalgebra of the k-th maximum of the intrinsic Cartan subalgebra

_([0]) ⊂ su(2^(n)) if the phase strings {ξ} of spinors in C form a k-th maximal subgroup of Z₂ ^(n), k=0, 1, . . . , n.

The intrinsic bi-subalgebra of the k-th maximum

Ĉ={

₀ ^(ζ)⊕

₀ ⁰: ζ ∈ Z₂ ^(n−k)}   (Eq. 4),

of the intrinsic Cartan subalgebra

_([0]) ⊂ su(2^(n)), has the eigenstates |τ

⊕|i

that form the intrinsic coordinate, τ ∈ Z₂ ^(n−k) and i ∈ Z₂ ^(n−k) i, here

₀ ^(ζ) being a diagonal spinor of su(2^(n−k)) and

₀ ⁰ the identity of su(2^(k)).

Given an ordered set of a number n−k of independent spinors Ŝ_(Ĉ)={

₀ ^(ζ) ^(r) ⊕

₀ ⁰: ζ_(r)=σ_(r,1)σ_(r,2) . . . σ_(r,n−k) ∈ Z₂ ^(n−k) and σ_(ru)=δ_(ru), r, u=1, 2, . . . , n−k} in Ĉ, the space of n-qubit states admits a decomposition

=⊕_(τ∈Z) ₂ _(n−k)

_(r) of disjoint eigen-invariant subspaces of the intrinsic bi-subalgebra Ĉ, where each

_(r) of syndrome τ is spanned by the orthonormal basis {|τ

⊕|i

: i ∈ Z₂ ^(k)} of dimension 2^(k).

(3) implementing an encoding Q_(en), wherein the encoding Q_(en) converts the first ordered set S_(C) to the second ordered set S_(Ĉ), and transforms the first stabilizer C to the second stabilizer Ĉ in the intrinsic coordinate, wherein the code [n, k, C] is converted to [n, k, Ĉ] in the intrinsic coordinate; wherein the encoding Q_(en)=Q₁Q₂ . . . Q_(n−k) is a sequential product provided by sequential operations of a number n−k of unitary operators Q_(r); wherein each of the unitary operator Q_(r) is composed of a single s-rotation or a product of two s-rotations; and wherein the encoding Q_(en) converts and maps the r^(th) independent spinor S_(r) in the first ordered set S_(C) to the r^(th) independent spinor Ŝ_(r)in the second ordered set S_(Ĉ) correspondingly;

In the present inventive concept, transforming the partition [n, k, Ĉ] into [n, k, C] is achievable by an encoding Q_(en) ∈ SU(2^(n)) that converts the intrinsic bi-subalgebra Ĉ to C=Q_(en)ĈQ_(en) ^(†).

An s-rotation

_(α) ^(ζ)(θ)=

∈ SU(2^(n)) of a spinor (−i)^(ζ·α)

_(α) ^(ζ) has the expression

=cos θ

₀ ⁰ +i sin θ (−i)^(ζ·α)

_(α) ^(ζ)  (Eq. 5)

with the identity

₀ ⁰ ∈ su(2^(n)), 0≤θ<2π.

An s-rotation

_(α) ^(ζ)(θ) ∈ SU(2^(n)) is a spinor-to-spinor mapping as

${\theta = {\pm \frac{\pi}{2}}},{\pm {\frac{\pi}{4}.}}$

In the present inventive concept, the r-th spinor

_(γr) ^(ζ) ^(r) of S_(C) is converted into the r-th member

₀ ^(η) ^(r) =Q_(en) ^(†)S_(γ) _(r) ^(ξr)Q_(en) of the second ordered set S_(Ĉ).

(3-1) Acquisition of Q₁ (subroutine A):

( 3 ⁢ - ⁢ 1 ⁢ - ⁢ 1 ) If ⁢ ⁢ = ⁢ 0 η 1 , Q 1 = I 2 n ; ( Eq . ⁢ 6 ) ( 3 ⁢ - ⁢ 1 ⁢ - ⁢2 ) If ⁢ ⁢ γ 1 ξ 1 = - S 0 η 1 , Q 1 = τ ς ⁢ ( π 2 ) ⁢ ⁢ with ⁢ ⁢ ξ 1 · τ = 1 ; ( Eq . ⁢ 7 ) ( 3 ⁢ - ⁢ 1 ⁢ - ⁢ 3 ) If ⁢ ⁢ γ 1 ξ 1 ⁢ ⁢ 0 η 1 = - ⁢ 0 η 1 ⁢ ⁢ γ 1 ξ 1 , Q 1 = γ 1 ξ 1 + η 1 ⁢ ( ± π 2 ) ; ( Eq . ⁢ 8 ) ( 3 ⁢ - ⁢ 1 ⁢ - ⁢ 4 ) If ⁢ ⁢ γ 1 ξ 1 ⁢ ⁢ 0 η 1 = ⁢ 0 η 1 ⁢ ⁢ γ 1 ξ 1 , Q 1 = τ ς ⁢ ( π 4 ) ⁢ τ + γ 1 ς + ξ 1 + η 1 ⁢ ( ± π 4 ) ⁢ ⁢ with ⁢ ⁢ ς · γ 1 + ξ 1 · τ = 1 ⁢ ⁢ and ⁢ ⁢ η 1 · τ = 1 ( Eq . ⁢9 )

(3-2) Construction of Q_(r), 2≤r≤n−k (subroutine B):

suppose that the first r−1 operations Q₁, Q₂, . . . , Q_(r−1) are created, noting ±

_(ω) _(r) ^(l) ^(r) =Q_(r−1) ^(†) . . . Q₂ ^(†)Q₁ ^(†)

_(γ) _(r) ^(ξ) ^(r) Q₁Q₂ . . . Q_(r−1) and

⁢0 η q = Q r - 1 † ⁢ ⁢ … ⁢ ⁢ Q 2 † ⁢ Q 1 † ⁢ ⁢ γ q ξ q ⁢ Q 1 ⁢ Q 2 ⁢ ⁢ … ⁢ ⁢ Q r - 1 , 1 ≤ q ≤ r - 1 ; ( Eq . ⁢ 10 ) ( 3 ⁢ - ⁢ 2 ⁢ - ⁢ 1 ) If ⁢ ⁢ ϖ r ι r = ⁢ 0 η r , Q r = I 2 n ; ( Eq . ⁢ 11 ) ( 3 ⁢ - ⁢ 2 ⁢ - ⁢ 2 ) If ⁢ ⁢ S ⁢ ϖ r ι r = - ⁢ 0 η r , Q r = τ ς ⁢ ( π 2 ) ⁢ ⁢ with ⁢ ⁢ ι r · τ = 1 ⁢ ⁢ and ⁢ ⁢ ⁢ η q · τ = 0 ⁢ ⁢ 1 ≤ q ≤ r - 1 ⁢ ( Eq . ⁢ 12 ) ( 3 ⁢ - ⁢ 2 ⁢ - ⁢ 3 ) If ⁢ ⁢ ϖ r ι r ⁢ 0 η r = - 0 η r ⁢ ϖ r ι r , Q r = ϖ r ι r + η r ⁢ ( ± π 4 ) ( Eq . ⁢ 13 ) ( 3 ⁢ - ⁢ 2 ⁢ - ⁢ 4 ) If ⁢ ⁢ ϖ r ι r ⁢ 0 η r = 0 η r ⁢ ϖ r ι r , Q r = ⁢ τ ς ⁢ ( π 4 ) ⁢ τ + ϖ r ς + ι r + η r ⁢ ( ± π 4 ) ⁢ ⁢ with ⁢ ⁢ ς · ϖ r + ι r · τ = 1 ⁢ ⁢ and ⁢ ⁢ η q · τ = 0 , ⁢ 1 ≤ q ≤ r - 1 ; ( Eq . ⁢ 14 )

(4) a fault tolerant action Û in the quantum code [n, k, C] generated by the second stabilizer Ĉ in the intrinsic coordinate, wherein the fault tolerant action Û is a direct sum of a basis state operator Λ and a correction operator Ω;

The formulation of fault tolerant encodes is guided by two criteria.

For the partition [n, k, C] generated by a bi-subalgebra C ⊂ su(2^(n)), an action U ∈ SU(2^(n)) is fault tolerant by fulfilling two criteria, the eigen-invariance, i.e., SU|ψ

=U|ψ

for each spinor S ∈ C and every codeword |

, and the error correction against an error set ε, i.e., US_(β)|ψ

=Σ_(α∈Z) ₂ _(n−k) _(−{0})x_(αβ)S_(α,v) U|ψ

for S_(β) ∈ ε with S_(α,v) in a coset

_(α,v) uniquely from each block Γ_(α,v) ∈ Z₂ ^(2k) and x_(αβ) ∈

.

The criterion of eigen-invariance obliges U|ψ

to stay as a codeword of C, to which the partition [n, k, C] is applicable. The 2nd criterion is to pledge every error of ε correctable by [n, k, C], a corruption US_(β)|ψ

affected by an error S_(β) ∈ ε admits a linear expansion in correctable states S_(α,v)U|ψ

U|ψ

, here S_(α,v) being an arbitrary spinor from a single coset W_(α,v) in Γ_(a). The derivation is conducted in the intrinsic coordinate.

In this embodiment, an error set ε is correctable by a partition [n, k, C] iff two arbitrary spinors of ε are either in different blocks or in a same coset of a block within this partition.

In the partition [n, k, Ĉ] generated by the intrinsic bi-subalgebra Ĉ, an eigen-invariant action Û ∈ SU(2^(n)) takes the block-diagonal form

Û=Λ+Ω  (Eq. 15)

with Λ=|0

0|⊕M_(0,0), M_(0,0) ∈ SU(2^(k)), Ω=Σ_(α,β∈Z) ₂ _(n−k) _(−[9])|α

β|⊕M_(α,β), M_(α,β) ∈

² ^(k) ^(×2) ^(k) , and |0

, |α

and |β

being respectively a basis state of n−k qubits.

In the present inventive concept, the correction operator Ω=Σ_(α,β∈Z) ₂ _(n−k) |α

β|⊕{i^(ξ) ^(αβ) ^(·α)(−i)^(η) ^(β) ^(·β)x_(αβ)S_(α)M

_(β)} through the following steps (subroutine C):

(4-2-1) Convert each error E_(r) of ε into the corresponding spinor

-   -   (−i)^(ξ·τ)         _(r) ^(ζ)⊕         _(τ)=Q_(en) ^(†)E_(τ)Q_(en) via the encoding Q_(en);

(4-2-2) produce a complete set of input cosets

-   -   _(in)={         _(β) ∈ su(2^(k)):β ∈ Z₂ ^(n−k),         ₀=I₂ _(k) } consisting of cosets uniquely from each block Γ_(β)         and containing all cosets of errors         _(r);

(4-2-3) create a complete set of output cosets

-   -   _(out)={S_(α) ∈ su(2^(k)):α ∈ Z₂ ^(n−k), S₀=I₂ _(k) } consisting         of cosets uniquely from each block Γ_(α);

(4-2-4) Build a transfer amplitude

=Σ_(α,β∈Z) ₂ _(n−k) _(−[0])i^(ξ) ^(αβ) ^(·α)(−i)^(η) ^(β) ^(·β)x_(αβ)|α

β|⊕I₂ _(k) following the unitarities

^(†)=I₂ _(n) ⁻² _(k) and

^(†)

=I₂ _(n) ⁻² _(k) .

(5) acquiring a fault tolerant encode in the quantum code [n, k, C] generated by the first stabilizer C, wherein the fault tolerant encode is a sequential product of the encoding Q_(en), the fault tolerant action Û and a complex conjugate Q_(en) ^(†) of the encoding Q_(en).

Given a mapping

M _(0,0)|

=Σ_(j∈Z) ₂ _(k) a _(ji) |j

  (Eq. 16)

of an operation M_(0,0) ∈ SU(2^(k)) acting on a basis state |i

of k qubits, the same form

U| i

=Σ_(j∈Z) ₂ _(k) a_(ji) | j

  (Eq. 17)

holds for the operation U=QÛQ^(†) acting on the basis state |i

=Q|0

⊕0 |i

of n qubits via a unitary transformation Q ∈ SU(2^(n)), here |j

=Q|0

⊕ |j

and Û=Λ+Ω ∈ SU(2^(n)) being block diagonal, Λ=|0

0| ⊕ M_(0,0), Ω=Σ_(α,β≠0)|α

β| ⊕M_(α,β), M_(α,β) ∈

² ^(k) ² ^(k) , and |0

, |α

and |β

being a basis state of n−k qubits.

Suppose that an encoded state |ψ_(ed)

=Q_(en)|0

⊕ψ

is corrupted by a noise E_(in)=Σ_(τ)y_(τ)E_(τ), Σ_(τ)|y_(τ)|²=1. The fault tolerance of U_(ed) obtained by the algorithm is confirmed through the following examination.

U ed ⁢ E in ⁢  ψ ed 〉 = ⁢ U ed ⁢ ∑ τ ⁢ y τ ⁢ E τ ⁢  ψ ed 〉 = ⁢ ∑ τ ⁢ y τ ⁡ ( Q e ⁢ n ⁢ U ^ ⁢ Q e ⁢ n † ) ⁢ ( Q e ⁢ n ⁡ ( - i ) ζ · τ ⁢ τ ζ ⊗ 𝕊 τ ⁢ Q e ⁢ n † ) ⁢ Q e ⁢ n ⁢  0 〉 ⊗  ψ e ⁢ a 〉 = ⁢ Q e ⁢ n ⁢ ∑ τ ⁢ y τ ⁢ U ^ ⁡ ( - i ) ζ · τ ⁢ τ ζ ⊗ 𝕊 τ ⁢ Q e ⁢ n ⁢  0 〉 ⊗  ψ ed 〉 = ⁢ Q e ⁢ n ⁢ ∑ τ ⁢ y τ ⁡ ( i ) ζ · τ ⁢ {  0 〉 ⁢ 〈 0 ⁢  ⊗ M + ∑ α , β ∈ Z 2 n - k - { 0 }  ⁢ a 〉 ⁢ 〈 β ⁢  ⊗ [ i ξ α ⁢ β · α ⁡ ( - i ) η β · β ⁢ x α ⁢ β ⁢ S α ⁢ M ⁢ ⁢ 𝕊 β ] } ⁢  τ 〉 ⊗ 𝕊 τ  ⁢ ψ 〉 = ⁢ Q e ⁢ n ⁢ y 0 ⁢  0 〉 ⊗  ψ 〉 + ∑ α , β ∈ Z 2 n - k - { 0 } ⁢ δ β ⁢ τ ⁢y τ ⁡ ( i ) ζ · τ ⁢ i ξ α ⁢ β · α ⁡ ( - i ) η β · β ⁢ x α ⁢ β ⁢  a 〉 ⊗ S α ⁢ M ⁢⁢𝕊 β ⁢ 𝕊 τ ⁢  ψ 〉 = ⁢ Q e ⁢ n ⁢ y 0 ⁢  0 〉 ⊗  ψ 〉 + ⁢ Q e ⁢ n ⁢ ∑ α ⁢ ∑ β ⁢ y β ⁡ ( i ) ζ · β ⁢ i ξ α ⁢ β · α ⁡ ( - i ) η β · β ⁢ x α ⁢ β ⁢  a 〉 ⊗ S α ⁢ M ⁢ ⁢ 𝕊 β ⁢ 𝕊 β ⁢  ψ 〉 = ⁢ y 0 ⁢ Q e ⁢ n ⁢  0 〉 ⊗  ψ 〉 + ∑ α ⁢ z α ⁢ Q e ⁢ n ⁢  a 〉 ⊗ S α ⁢ M ⁢  ψ 〉 . ( Eq . ⁢ 18 )

The main result is therefore affirmed.

According to the present inventive concept, the fault tolerant encode obeys two criteria, wherein one of the criteria is eigen-invariance that every codeword state is still a codeword after applying the encode, and the other one of the criteria is error-correctable that each corrupted state is a linear superposition of correctable states in [n, k, C] after applying the encode.

In an embodiment of the present inventive concept, the first stabilizer C is composed of 2^(n−k) n-qubit spinors, wherein the n-qubit spinors are able to commute with each other.

In an embodiment of the present inventive concept, the basis state operator Λ is composed of a direct product by a single basis state projection operator and a k-qubit quantum gate M.

In an embodiment of the present inventive concept, the correction operator Ω is composed of 2^({2(n−k)}) submatrices M_(αβ).

In the partition [n, k, Ĉ], an eigen-invariant action Û=Λ+Ω associated to a k-qubit action, the quantum gate M_(0,0) ∈ SU(2^(k)), Λ=|0

0|⊕M_(0,0) and Ω=Σ_(α,β∈Z) ₂ _(n−k) _(−{0})|α

β|⊕M_(α,β), is error correctable if each M_(α,β) ∈

² ^(k) ^(×2) ^(k) is of the form

M _(α,β) =i ^(ξ) ^(αβ) ^(·α)(−i)^(η) ^(β) ^(·β) x _(αβ) S _(α) M _(0,0)

_(β),

wherein the k-qubit spinors

𝕊 β = ( - i ) ς β · κ β ⁢ κ β ς β ⁢ ⁢ and ⁢ ⁢ S α = ( - i ) π α · ω α ⁢ ω α π α

are respectively the input coset

_(β,μ(β)) of block {circumflex over (Γ)}_(β) and the output coset

_(α,v(α)) of block {circumflex over (Γ)}_(α), μ(β)=ç_(β) κ_(β) and v(α)=π_(α) ω_(α), the unitarity

^(†)=I₂ _(n) ⁻² _(k) and

^(†)

=I₂ _(n) ⁻² _(k) holds for the transfer amplitude

=Σ_(α,β∫0) i^(ξ) ^(αβ) ^(·α) (−i)^(η) ^(·β)x_(αβ)|α

| ⊕ I₂ _(k) , x_(αβ) ∈

and ξ_(αβ,ηβ) ∈ Z₂ ^(n−k).

In an embodiment of the present inventive concept, the correction operator Ω is obtained by a method, including:

transforming each correctable error E_(τ) of a correctable error set ε by the encoding Q_(en) to a coset of error of each correctable error E_(ξ) in the second stabilizer Ĉ in the intrinsic coordinate, wherein the coset of error is a k-qubit spinor

_(τ);

building a first complete set P_(in) in the second stabilizer Ĉ in the intrinsic coordinate, wherein the first complete set P_(in) is consisting of a unique input coset

_(β) solely chosen from every block Γ_(α), and the first complete set P_(in) contains all the spinors

_(τ);

building a second complete set P_(out) in the second stabilizer Ĉ in the intrinsic coordinate, wherein the second complete set P_(out) is consisting of a unique output coset

_(α) solely chosen from every block Γ_(α);

formulating a transfer amplitude T; and

wherein each of the submatrices M_(αβ) of the encoding Q_(en) represents as a sequential product by x_(αβ), the output coset

_(α), the k-qubit quantum gate M and the input coset

_(β).

In an embodiment of the present inventive concept, wherein the transfer amplitude T is a 2^(n)×2^(n) unitary matrix.

In an embodiment of the present inventive concept, the entry x_(αβ) of the unitary matrix fulfills a relation which is x_(0β)=x_(α0)=0.

For the partition [n, k, C] generated by a bi-subalgebra C ⊂ su(2^(n)) against an error set ε, there exist multiple choices of fault tolerant encodes for every action of k qubits.

Given [n, k, C], the adjoint of the encoding Q_(en) ^(†) ∈ SU(2^(n)) transforms each error E^((τ)) ∈ Γ_(τ) of ε to a spinor S^((τ))=Q_(en) ^(†)E^((τ))Q_(en)=(−i)^(η) ^(τ) ^(·τ)

_(τ) ^(ητ) ⊕

_(τ) of a coset of errors

_(τ,∂)⊂{circumflex over (Γ)}_(τ) in [n, k, Ĉ] of the intrinsic coordinate,

=ç_(τ) ω_(τ) and the part of k qubits ψ_(τ)=(−i)^(ç) ^(τ) ^(·ω) ^(τ)

_(ω) _(τ) ^(ç) ^(τ) .

Let the fault tolerant operation Û=Λ+Ω be prepared for a k-qubit action M_(0,0) ∈ SU(2^(k)) in the intrinsic coordinate, here Λ=|0

9|⊕M_(0,0) and Ω=Σ_(α,β≠0)|α

β|⊕ (−i)^(η) ^(β) ^(·β)x_(αβ)S_(α)M_(0,0)

_(β)), and

_(β) being the input coset

_(β,μ(β)) ∈

_(in) of block {circumflex over (Γ)}_(β) and S_(α) the output coset

_(α,v(α)) ∈

_(out) of block {circumflex over (Γ)}_(α). As a must, the next is to identify the input coset with the coset of errors

_(β,μ(β))=

_(τ,∂) in every same block {circumflex over (Γ)}_(β)=τ, i.e.,

_(β)=

_(τ) if β=τ. Then, by mapping Û into U=Q_(en)ÛQ_(en) ^(†), a fault tolerant encode U of M_(0,0) in [n, k, C] is delivered, accompanied with a set of correction operators {S_(α,v(α)) ∈

_(α,v(α)):α ∈ Z₂ ^(n−k)} individually from each output coset

_(α,v(α))=Q_(en)

_(α,v(α))Q_(en) ^(†).

Multiple choices of fault tolerant encodes for a k-qubit action in [n, k, C] lie in great freedom of constructing the encoding Q_(en) and the correction operatior Ω. A huge number of versions of Q_(en) spring from rich options of selecting ordered sets of n−k independent spinors from C. All bi-subalgebras sized the same as C are acquirable via exhaustive spinor-to-spinor mappings, amounting to a combinatorially gigantic number of partitions given n and k. Beware the intractable complexity to further determine admissible partitions correcting an error set. The diversified design of Ω stems from numerous designations of cosets for the two complete sets

_(in) and

_(out) and from the extensive weaving of transfer amplitude

. Cost deviations, resulting from differences in Q_(en) and Ω, escalate when the computation scaling up.

No confined to stabilizer codes, the methodology of creating fault tolerant encodes is also applicable to nonadditive codes. In respect of a partition [n, k, C; t] correcting t-errors, the gap n−k can be arbitrarily squeezed with increasing n and k given mildly rising t, namely the rate

$R = \left. \frac{k}{n}\rightarrow 1 \right.$

for very large n and k given t. In corporation with versatile selections of quantum gates in accord with constraints and advantages of implementations in practice, it is algorithmically achievable to attain optimized compositions of actions for every computation. Synthesizing the two elements paves the way to an Initiative of optimizing scalable fault tolerance quantum computation. The assertion of conclusion may be the beginning of new adventures.

Every action admits fault tolerance in every code.

The present inventive concept provides a method for constructing an n-qubit fault tolerant encode for any k-qubit quantum gate, M, in any given quantum code [n, k, C]. That is, being the quantum extension of a classical Hamming code [n, k], a quantum code [n, k, C] is literally a QAP consisting of cosets of the first stabilizer C under two bitwise additions of n-digit binary strings. Within this structure, it is easy to locate each correctable error in a unique partition unit, i.e., a coset. Resorting to this illustrative structure, every quantum code [n, k, C] admits an algorithmic construction of fault tolerant encodes of a number n of physical qubits for every action, i.e., a quantum gate, of k logical qubits. Current building of fault tolerant encodes is restricted to very few quantum gates in very limited choices of codes, specifically, the Hadamard gate and the controlled-not gate in the Steane code and the

$\frac{\pi}{8} - {gate}$

in the Reed-Muller code. This fact induces a high overhead in at least the ratio 105 :1 of physical qubits to logical qubits, which is setting a formidable obstacle to scalable quantum computation. While, this ratio is drastically reduced to 1:1, with increasing n and k, in the present inventive concept.

The foregoing descriptions of the detailed embodiments are only illustrated to disclose the features and functions of the present inventive concept and not restrictive of the scope of the present inventive concept. It should be understood to those in the art that all modifications and variations according to the spirit and principle in the disclosure of the present inventive concept should fall within the scope of the appended claims. 

What is claimed is:
 1. A method for constructing an n-qubit fault tolerant encode for any k-qubit quantum gate, M, in any given quantum code [n, k, C], wherein the C is defined as a first stabilizer which is a k-th maximal bi-subalgebra; the quantum code [n, k, C] is consisting of a number 2^(n−k) of cosets of the first stabilizer C and the quantum code is a Quotient Algebra Partition (QAP); the cosets of the first stabilizer C is able to group into a number 2^(n−k) of blocks Γ_(α), wherein each of the blocks Γ_(α) consists of 2^(2k) cosets of the first stabilizer C with same syndrome α; and the quantum code [n, k, C] is used for detecting and correcting chosen errors from different blocks Γ_(α), and the errors are collected as an error set ε, and wherein the method comprises: (1) choosing a number n−k of independent spinors S_(r) from the first stabilizer C and a first ordered set S_(C) consists of the independent spinors S_(r); (2) choosing a number n−k of independent spinors Ŝ_(r) in a second stabilizer Ĉ in the intrinsic coordinate and a second ordered set S_(Ĉ) consists of the independent spinors Ŝ_(r) in the intrinsic coordinate; (3) implementing an encoding Q_(en), wherein the encoding Q_(en) converts the first ordered set S_(C) to the second ordered set S_(Ĉ), and transforms the first stabilizer C to the second stabilizer Ĉ in the intrinsic coordinate wherein the code [n, k, C] is converted to [n, k, Ĉ] in the intrinsic coordinate; wherein the encoding Q_(en) is a sequential product provided by sequential operations of a number n−k of unitary operators Q_(r); wherein each of the unitary operator Q_(r) is composed of a single s-rotation or a product of two s-rotations; and wherein the encoding Q_(en) converts and maps the r^(th) independent spinor S_(r) in the first ordered set S_(C) to the r^(th) independent spinor Ŝ_(r)in the second ordered set S_(Ĉ) correspondingly; (4) a fault tolerant action Û in the quantum code [n, k, C] generated by the second stabilizer Ĉ in the intrinsic coordinate, wherein the fault tolerant action Û is a direct sum of a basis state operator Λ and a correction operator Ω; and (5) acquiring a fault tolerant encode in the quantum code [n, k, C] generated by the first stabilizer C, wherein the fault tolerant encode is a sequential product of the encoding Q_(en), the fault tolerant action Û and a complex conjugate Q_(en) ^(†) of the encoding Q_(en), and wherein the fault tolerant encode obeys two criteria, wherein one of the criteria is eigen-invariance that every codeword state is still a codeword after applying the encode, and the other one of the criteria is error-correctable that each corrupted state is a linear superposition of correctable states in [n, k, C] after applying the encode.
 2. The method of claim 1, wherein the first stabilizer C is composed of 2^(n−k) n-qubit spinors, wherein the n-qubit spinors are able to commute with each other.
 3. The method of claim 1, wherein the basis state operator Λ is composed of a direct product by a single basis state projection operator and a k-qubit quantum gate M.
 4. The method of claim 1, wherein the correction operator Ω is composed of 2^({2(n−k)}) submatrices M_(αβ).
 5. The method of claim 4, the correction operator Ω is obtained by a method, including: transforming each correctable error E_(τ) of a correctable error set ε by the encoding Q_(en) to a coset of error of each correctable error E_(τ) in the second stabilizer Ĉ in the intrinsic coordinate, wherein the coset of error is a k-qubit spinor

_(τ); building a first complete set P_(in) in the second stabilizer Ĉ in the intrinsic coordinate, wherein the first complete set P_(in) is consisting of a unique input coset

_(β) solely chosen from every block Γ_(α), and the first complete set P_(in) contains all the spinors

_(τ); building a second complete set P_(out) in the second stabilizer Ĉ in the intrinsic coordinate, wherein the second complete set P_(out) is consisting of a unique output coset

_(α) solely chosen from every block Γ_(α); formulating a transfer amplitude T; and wherein each of the submatrices M_(αβ) of the encoding Q_(en) represents as a sequential product by entries of the submatrices M_(αβ) (x_(αβ)), the output coset

_(α), the K-qubit quantum gate M and the input coset

_(β).
 6. The method of claim 5, wherein the transfer amplitude T is a 2^(n)×2^(n) unitary matrix.
 7. The method of claim 5, wherein the entries x_(αβ) of the unitary matrix fulfills a relation which is x_(0β)=x_(α0)=0. 